επαληθευση διαιρεσης